Realisability conditions for second-order marginals of biphased media

نویسنده

  • Raphaël Lachièze-Rey
چکیده

This paper concerns the second order marginals of biphased random media. We give discriminating necessary conditions for a bivariate function to be such a valid marginal, and illustrate our study with two practical applications: (1) the spherical variograms are valid indicator variograms if and only if they are multiplied by a sufficiently small constant, which upper bound is estimated, and (2) not every covariance/indicator variogram can be obtained with a Gaussian level set. The theoretical results backing this study are contained in a companion paper.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The convex class of realisable unit covariances

This paper concerns the characterisation of second order marginals for random sets in a discrete setting. Under the instance of unit covariances, this problem possesses a combinatorial symmetry, exploited jointly in the companion paper to give a heuristic procedure to check realisability. In particular we disprove Matheron’s conjecture, and explicit partially the structure of the convex body fo...

متن کامل

Classical Program Extraction in the Calculus of Constructions

We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with universes. For that, we extend Krivine’s realisability model of classical second-order arithmetic to the calculus of constructions with universes using a structure of Πset which is reminiscent of ω-sets, and show that...

متن کامل

Internalising modified realisability in constructive type theory

A modified realisability interpretation of infinitary logic is formalised and proved sound in constructive type theory (CTT). The logic considered subsumes first order logic. The interpretation makes it possible to extract programs with simplified types and to incorporate and reason about them in CTT. 1 Modified realisability Modified realisability interpretation is a well-known method for givi...

متن کامل

A Conservative Extension of First-order Logic and Its Application to Theorem Proving

We define a weak second-order extension of first-order logic. We prove a second-order cut elimination theorem for this logic and use this to prove a conservativity and a realisability result. We give applications to formal program development and theorem proving, in particular, in modeling techniques in formal metatheory.

متن کامل

Novel modified magnetic mesopouros silica for rapid and efficient removal of methylene blue dye from aqueous media

This reaserch aims at functionalizing magnetic mesoporous silica with methacrylic acid-3-aminopropyltriethoxysilane (Fe3O4@MCM-41@MAA-APTES) applied for removal of methylene blue from aqueous solution. Several variables (such as pH, dye concentration, adsorbent amount and contact time) have been investigated. Under optimum conditions, maximum capacity of 87.71 mg g-1 of MB was obtained for the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Random Struct. Algorithms

دوره 47  شماره 

صفحات  -

تاریخ انتشار 2015